Fix a duplicate word in the docs

diff --git a/docs/reference/gtk/migrating-2to3.xml b/docs/reference/gtk/migrating-2to3.xml
index 94419559bc465d308d4028c50617e64736980b70..b0bad87e301f8ee12337f406275c12a5a7991625 100644 (file)
--- a/docs/reference/gtk/migrating-2to3.xml
+++ b/docs/reference/gtk/migrating-2to3.xml
@@ -1133,7 +1133,7 @@ gtk_arrow_draw (GtkWidget *widget,
       The default values for the #GtkScrolledWindow:hscrollbar-policy and
       #GtkScrolledWindow:vscrollbar-policy properties have been changed from
       'never' to 'automatic'. If your application was relying on the default
-      value, you will have explicitly set it explicitly.
+      value, you will have to set it explicitly.
     </para>
 
     <para>